eclbase($k$;${\it test}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inl($\langle$$k$$,\,$${\it test}$$\rangle$)